منابع مشابه
Ntyft/Ntyxt Rules Reduce to Ntree Rules
Groote and Vaandrager introduced the tyft/tyxt format for Transition System Speci cations (TSSs), and established that for each TSS in this format that is well-founded, the bisimulation equivalence it induces is a congruence. In this paper, we construct for each TSS in tyft/tyxt format an equivalent TSS that consists of tree rules only. As a corollary we can give an a rmative answer to an open ...
متن کاملSimple rules that reduce hospital readmission.
To overcome system failures, health care organizations must implement a few simple rules of complex adaptive systems. I describe Transition in Care, Kaiser Permanente Southern California's program to reduce hospital readmissions, as an example of a program design that meets the principles of complex adaptive systems and enumerate five rules, which must be followed if a health system is to creat...
متن کاملAlgorithm-based Decision Rules to Safely Reduce Laboratory Test Ordering
PURPOSE Our study develops decision rules to define appropriate intervals at which repeat tests might be indicated for commonly ordered laboratory tests for hospitalized patients. METHODS The final data set includes 5,632 adult patients admitted to the University of Virginia Hospital between July 1995 and December 1999. These patients had a hospital length of stay of five days or more and had...
متن کاملSome design rules to reduce power in microprocessors systems
In this paper, we present an evaluation of end user low power design techniques. They have been applied to a space-certified microprocessor system. The results demonstrate the efficacy of some straightforward low power design techniques. Some system-level design rules to save power even in a highly optimized microprocessor are obtained. Power reduction of 45%, 13% and 10% has been obtained by u...
متن کاملEmploying data mining to explore association rules in drug addicts
Drug addiction is a major social, economic, and hygienic challenge that impacts on all the community and needs serious threat. Available treatments are successful only in short-term unless underlying reasons making individuals prone to the phenomenon are not investigated. Nowadays, there are some treatment centers which have comprehensive information about addicted people. Therefore, given the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 1996
ISSN: 0890-5401
DOI: 10.1006/inco.1996.0030